#include "inc/platform.h"
	
       	.global _start

	.text
_start:
	# Set all bytes in the BSS section to zero.
        la      a0, _bss_start
        la      a1, _bss_end
        bgeu    a0, a1, 2f
1:
        sw      zero, (a0)
        addi    a0, a0, 4
        bltu    a0, a1, 1b
2:
    	la      sp, _stack_end    # set the initial stack pointer
					 
    	j   	start_kernel      # jump to kernel

